Lazy Generic Cuts

نویسندگان

  • Dinesh Khandelwal
  • Kush Bhatia
  • Chetan Arora
  • Parag Singla
چکیده

LP relaxation based message passing and flow-based algorithms are two of the popular techniques for performing MAP inference in graphical models. Generic Cuts (GC) (Arora et al., 2015) combines the two approaches to generalize the traditional max-flow min-cut based algorithms for binary models with higher order clique potentials. The algorithm has been shown to be significantly faster than the state of the art algorithms. The time and memory complexities of Generic Cuts are linear in the number of constraints, which in turn is exponential in the clique size. This limits the applicability of the approach to small cliques only. In this paper, we propose a lazy version of Generic Cuts exploiting the property that in most of such inference problems a large fraction of the constraints are never used during the course of minimization. We start with a small set of constraints (called the active constraints) which are expected to play a role during the minimization process. GC is then run with this reduced set allowing it to be efficient in time and memory. The set of active constraints is adaptively learnt over multiple iterations while guaranteeing convergence to the optimum for submodular clique potentials. Our experiments show that the number of constraints required by the algorithm is typically less than 3% of the total number of constraints. Experiments on computer vision datasets show that our approach can significantly outperform the state of the art both in terms of time and memory and is scalable to clique sizes that could not be handled by existing approaches. © 2016 Elsevier Inc. All rights reserved.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generic cuts in models of arithmetic

We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of ‘indicator’ is defined in a novel way, without initially specifying what property is indicated and is used to define a topological space of cuts of the model. Various familiar properties of cuts (strength, regularity, saturation, coding pr...

متن کامل

The Model Theory of Generic Cuts

We survey some properties of the recently discovered notion of generic cuts [6, 8], in an attempt to put these cuts in a proper model-theoretic context. The main new results are an existentially closure property (in Section 4) and some model completeness properties (in Section 5) for generic cuts. Some known results will be proven in alternative ways here. Part of this work is from the second a...

متن کامل

Truth in generic cuts

In an earlier paper (MLQ 54, 128–144) the first author initiated the study of generic cuts of a model of Peano Arithmetic relative to a notion of an indicator in the model. This paper extends that work. We generalise the idea of indicator to a related neighbourhood system; this allows the theory to be extended to one that includes the case of elementary cuts. Most results transfer to this more ...

متن کامل

Comparing Datatype Generic Libraries in Haskell

Datatype-generic programming is about defining functions that depend on the structure, or “shape”, of datatypes. It has been around for more than 10 years, and a lot of progress has been made, in particular in the lazy functional programming language Haskell. There are more than 10 proposals for generic programming libraries or language extensions for Haskell. In this paper we compare and chara...

متن کامل

A Generic Lazy Evaluation Scheme for Exact Geometric Computations

We present a generic C++ design to perform efficient and exact geometric computations using lazy evaluations. Exact geometric computations are critical for the robustness of geometric algorithms. Their efficiency is also critical for most applications, hence the need for delaying the exact computations at run time until they are actually needed. Our approach is generic and extensible in the sen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Computer Vision and Image Understanding

دوره 143  شماره 

صفحات  -

تاریخ انتشار 2016